Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 479 | 479 | 1089 | 1934 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.27 | 4.04 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.644 | 0.384 | 3.107 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F(-2) | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 572 | 572 | 1241 | 332 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.17 | 0.58 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.783 | 1.806 | 43.161 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 628 | 628 | 1480 | 643 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.36 | 1.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.980 | 4.220 | 5.692 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 593 | 590 | 1442 | 524 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.99 | 2.43 | 0.88 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.882 | 1.835 | 4.549 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | A | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 134 | 131 | 286 | 265 | 0 | 385 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 2.13 | 1.98 | 0.00 | 2.87 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.078 | 0.553 | 8.608 | 0.000 | 0.322 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 566 | 566 | 1408 | 2071 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.49 | 3.66 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.801 | 1.275 | 4.158 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F(-2) | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 803 | 803 | 1634 | 965 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.03 | 1.20 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.802 | 6.045 | 44.659 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 765 | 765 | 1482 | 844 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.94 | 1.10 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.921 | 1.705 | 39.557 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 762 | 759 | 1477 | 832 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.94 | 1.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.667 | 2.059 | 33.948 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 806 | 806 | 1525 | 925 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.89 | 1.15 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.737 | 1.863 | 35.461 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 727 | 727 | 2053 | 1269 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.82 | 1.75 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.057 | 7.390 | 4.667 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | B | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 157 | 157 | 390 | 945 | 0 | 1015 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.48 | 6.02 | 0.00 | 6.46 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.125 | 0.761 | 6.541 | 0.000 | 0.496 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | B | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 193 | 193 | 385 | 894 | 0 | 890 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.99 | 4.63 | 0.00 | 4.61 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.146 | 0.643 | 7.185 | 0.000 | 0.501 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 704 | 704 | 2114 | 3479 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.00 | 4.94 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.929 | 6.064 | 3.307 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1144 | 1144 | 2067 | 1804 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.81 | 1.58 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.201 | 6.070 | 47.847 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1144 | 1144 | 2075 | 1278 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.81 | 1.12 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.301 | 6.064 | 64.233 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1134 | 1134 | 2060 | 1798 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.82 | 1.59 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.769 | 6.048 | 106.523 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 403 | 403 | 326 | 0 | 0 | 1699 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.81 | 0.00 | 0.00 | 4.22 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.895 | 1.564 | 0.000 | 0.000 | 2.439 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 294 | 294 | 263 | 0 | 0 | 1379 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.89 | 0.00 | 0.00 | 4.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.296 | 1.442 | 0.000 | 0.000 | 1.049 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 195 | 195 | 213 | 0 | 0 | 1098 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.09 | 0.00 | 0.00 | 5.63 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.134 | 1.573 | 0.000 | 0.000 | 0.533 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 23 | 20 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.00 | 0.87 | 1.00 | 1.17 |
time (sec) |
N/A | 0.068 | 6.453 | 0.493 | 0.000 | 0.258 | 10.391 | 0.349 | 1.275 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 23 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.00 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.074 | 10.945 | 0.764 | 0.000 | 0.260 | 14.183 | 0.369 | 1.407 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 27 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.17 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.069 | 10.764 | 0.526 | 0.000 | 0.259 | 118.153 | 0.343 | 1.394 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 20 | 20 | 22 | 18 | 0 | 20 | 19 | 20 | 24 |
N.S. |
1 | 1.00 | 1.10 | 0.90 | 0.00 | 1.00 | 0.95 | 1.00 | 1.20 |
time (sec) |
N/A | 0.025 | 17.908 | 0.439 | 0.000 | 0.266 | 47.880 | 0.357 | 1.266 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 23 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.00 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.065 | 1.862 | 0.316 | 0.000 | 0.264 | 7.153 | 0.356 | 1.526 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 328 | 328 | 247 | 0 | 0 | 192 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.75 | 0.00 | 0.00 | 0.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.313 | 8.064 | 0.000 | 0.000 | 0.108 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 453 | 453 | 325 | 0 | 0 | 292 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.72 | 0.00 | 0.00 | 0.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.409 | 10.695 | 0.000 | 0.000 | 0.113 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 374 | 374 | 304 | 0 | 0 | 1697 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.81 | 0.00 | 0.00 | 4.54 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.376 | 1.586 | 0.000 | 0.000 | 2.235 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 262 | 262 | 248 | 0 | 0 | 1375 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.95 | 0.00 | 0.00 | 5.25 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.218 | 1.322 | 0.000 | 0.000 | 0.982 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 40 | 20 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.74 | 0.87 | 1.00 | 1.17 |
time (sec) |
N/A | 0.083 | 7.682 | 2.917 | 0.000 | 0.259 | 72.838 | 0.474 | 1.243 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 40 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.74 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.090 | 11.890 | 2.283 | 0.000 | 0.274 | 63.269 | 0.363 | 1.493 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 43 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.87 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.083 | 11.079 | 1.111 | 0.000 | 0.261 | 0.000 | 0.342 | 1.514 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 20 | 20 | 22 | 18 | 0 | 37 | 0 | 20 | 24 |
N.S. |
1 | 1.00 | 1.10 | 0.90 | 0.00 | 1.85 | 0.00 | 1.00 | 1.20 |
time (sec) |
N/A | 0.029 | 18.491 | 1.258 | 0.000 | 0.286 | 0.000 | 0.387 | 1.293 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 40 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.74 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.071 | 36.147 | 2.253 | 0.000 | 0.267 | 98.964 | 0.419 | 1.686 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 40 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.74 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.069 | 5.649 | 0.400 | 0.000 | 0.255 | 65.772 | 0.370 | 1.461 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 416 | 416 | 303 | 0 | 0 | 286 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.73 | 0.00 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.396 | 11.197 | 0.000 | 0.000 | 0.138 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 554 | 554 | 383 | 0 | 0 | 397 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.69 | 0.00 | 0.00 | 0.72 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.565 | 11.822 | 0.000 | 0.000 | 0.140 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 321 | 321 | 282 | 0 | 0 | 1383 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.88 | 0.00 | 0.00 | 4.31 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.745 | 2.010 | 0.000 | 0.000 | 1.107 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 225 | 225 | 239 | 0 | 0 | 1107 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.06 | 0.00 | 0.00 | 4.92 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.229 | 1.421 | 0.000 | 0.000 | 0.546 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 132 | 132 | 107 | 0 | 0 | 870 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.81 | 0.00 | 0.00 | 6.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.110 | 0.326 | 0.000 | 0.000 | 0.358 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 31 | 20 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.35 | 0.87 | 1.00 | 1.17 |
time (sec) |
N/A | 0.068 | 1.222 | 0.518 | 0.000 | 0.259 | 7.655 | 0.354 | 1.318 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 33 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.43 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.083 | 5.254 | 0.839 | 0.000 | 0.268 | 27.192 | 0.355 | 1.392 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 27 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.17 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.063 | 36.978 | 0.555 | 0.000 | 0.269 | 53.630 | 0.366 | 1.422 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 20 | 20 | 22 | 18 | 0 | 20 | 19 | 20 | 24 |
N.S. |
1 | 1.00 | 1.10 | 0.90 | 0.00 | 1.00 | 0.95 | 1.00 | 1.20 |
time (sec) |
N/A | 0.023 | 0.724 | 0.545 | 0.000 | 0.257 | 15.699 | 0.351 | 1.170 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 247 | 247 | 140 | 0 | 0 | 105 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.57 | 0.00 | 0.00 | 0.43 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.191 | 0.183 | 0.000 | 0.000 | 0.103 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 362 | 362 | 249 | 0 | 0 | 198 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.69 | 0.00 | 0.00 | 0.55 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.334 | 6.527 | 0.000 | 0.000 | 0.123 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 252 | 252 | 263 | 0 | 0 | 1480 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.04 | 0.00 | 0.00 | 5.87 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.780 | 1.528 | 0.000 | 0.000 | 0.521 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 156 | 156 | 162 | 0 | 0 | 1072 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.04 | 0.00 | 0.00 | 6.87 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.188 | 1.110 | 0.000 | 0.000 | 0.378 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 79 | 79 | 78 | 0 | 0 | 283 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.99 | 0.00 | 0.00 | 3.58 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.077 | 0.249 | 0.000 | 0.000 | 0.312 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 42 | 20 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.83 | 0.87 | 1.00 | 1.17 |
time (sec) |
N/A | 0.088 | 8.843 | 2.148 | 0.000 | 0.272 | 75.350 | 0.359 | 1.316 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 44 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.91 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.097 | 11.368 | 5.027 | 0.000 | 0.273 | 0.000 | 0.365 | 1.486 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 47 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.04 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.086 | 14.727 | 1.467 | 0.000 | 0.259 | 122.610 | 0.381 | 1.380 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 47 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.04 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.069 | 5.864 | 1.264 | 0.000 | 0.266 | 32.452 | 0.422 | 1.149 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 108 | 108 | 112 | 0 | 0 | 76 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.04 | 0.00 | 0.00 | 0.70 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.066 | 0.198 | 0.000 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 275 | 275 | 213 | 0 | 0 | 188 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.77 | 0.00 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.243 | 4.957 | 0.000 | 0.000 | 0.110 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 243 | 243 | 240 | 0 | 0 | 2119 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.99 | 0.00 | 0.00 | 8.72 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.762 | 1.466 | 0.000 | 0.000 | 0.496 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 163 | 163 | 162 | 0 | 0 | 663 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.99 | 0.00 | 0.00 | 4.07 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.170 | 0.412 | 0.000 | 0.000 | 0.379 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 138 | 138 | 130 | 0 | 0 | 573 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.94 | 0.00 | 0.00 | 4.15 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.097 | 0.350 | 0.000 | 0.000 | 0.365 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 53 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.30 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.098 | 16.092 | 3.111 | 0.000 | 0.273 | 0.000 | 0.366 | 1.267 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 55 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.39 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.102 | 18.717 | 3.412 | 0.000 | 0.277 | 0.000 | 0.372 | 1.460 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 58 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.52 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.082 | 15.999 | 1.654 | 0.000 | 0.272 | 0.000 | 0.401 | 1.427 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 58 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.52 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.076 | 15.004 | 1.543 | 0.000 | 0.279 | 0.000 | 0.446 | 1.303 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 276 | 276 | 185 | 0 | 0 | 284 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.67 | 0.00 | 0.00 | 1.03 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.203 | 0.314 | 0.000 | 0.000 | 0.124 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 296 | 296 | 249 | 0 | 0 | 350 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.84 | 0.00 | 0.00 | 1.18 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.179 | 0.421 | 0.000 | 0.000 | 0.121 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 585 | 566 | 402 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.97 | 0.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.572 | 0.884 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 371 | 352 | 293 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.95 | 0.79 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.328 | 0.480 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 215 | 202 | 171 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 0.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.143 | 0.341 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 23 | 25 | 25 | 20 | 25 | 29 |
N.S. |
1 | 1.00 | 1.09 | 1.00 | 1.09 | 1.09 | 0.87 | 1.09 | 1.26 |
time (sec) |
N/A | 0.053 | 2.203 | 4.670 | 0.572 | 0.268 | 35.125 | 0.319 | 0.819 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 23 | 25 | 36 | 0 | 25 | 29 |
N.S. |
1 | 1.00 | 1.09 | 1.00 | 1.09 | 1.57 | 0.00 | 1.09 | 1.26 |
time (sec) |
N/A | 0.054 | 4.734 | 3.287 | 0.573 | 0.266 | 0.000 | 0.327 | 0.803 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 42 | 0 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.68 | 0.00 | 1.00 | 1.16 |
time (sec) |
N/A | 0.076 | 1.063 | 2.732 | 0.551 | 0.286 | 0.000 | 0.372 | 0.897 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 25 | 24 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.00 | 0.96 | 1.00 | 1.16 |
time (sec) |
N/A | 0.076 | 0.145 | 1.367 | 0.395 | 0.282 | 51.607 | 0.344 | 0.810 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 25 | 24 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.00 | 0.96 | 1.00 | 1.16 |
time (sec) |
N/A | 0.069 | 1.088 | 1.158 | 0.408 | 0.272 | 21.901 | 0.357 | 0.897 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 45 | 24 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.80 | 0.96 | 1.00 | 1.16 |
time (sec) |
N/A | 0.074 | 1.222 | 2.210 | 0.424 | 0.279 | 134.541 | 0.368 | 0.982 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | A | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 401 | 401 | 194 | 0 | 0 | 238 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.48 | 0.00 | 0.00 | 0.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.724 | 0.271 | 0.000 | 0.000 | 0.300 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | A | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 268 | 268 | 159 | 0 | 0 | 181 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.59 | 0.00 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.404 | 0.339 | 0.000 | 0.000 | 0.276 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 126 | 135 | 138 | 0 | 0 | 124 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 1.10 | 0.00 | 0.00 | 0.98 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.143 | 0.192 | 0.000 | 0.000 | 0.264 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 26 | 26 | 28 | 24 | 88 | 37 | 34 | 26 | 30 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 3.38 | 1.42 | 1.31 | 1.00 | 1.15 |
time (sec) |
N/A | 0.071 | 0.441 | 0.372 | 0.518 | 0.254 | 11.160 | 0.359 | 1.817 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 26 | 26 | 28 | 24 | 112 | 39 | 36 | 26 | 30 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 4.31 | 1.50 | 1.38 | 1.00 | 1.15 |
time (sec) |
N/A | 0.068 | 8.123 | 3.034 | 0.496 | 0.257 | 83.530 | 0.362 | 1.547 |